$\forall$$M$:Dsys. interface{-}compatible($M$;)